Search results for "Safety assurance"
showing 2 items of 2 documents
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
2020
Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…
Définir la fiabilité de l'opérateur humain pour concevoir les futurs systèmes autonomes : un regard des Facteurs Organisationnels et Humains
2022
L'intégration de systèmes autonomes dans les transports continuent de progresser afin d'atteindre, à terme, des systèmes entièrement autonomes. Le domaine du transport ferroviaire ne fait pas exception et de nombreux projets, nationaux ou internationaux, sont en cours ou voient le jour. Le transport ferroviaire est réputé sûr. Cela passe notamment par des processus de certification des systèmes ferroviaires déployés. Un principe fondamental de l'assurance de sécurité ferroviaire est : l'intégration d'une nouvelle fonction ou la modification d'une fonction ne doit pas péjorer le niveau de sécurité. Pour vérifier ce principe, le projet TA-SV a fait le choix de réaliser une comparaison par rap…